John McTaggart Ellis McTaggart「時閒の非實在性」1908
https://gyazo.com/d793d790ac393a40933353fc416a1f33
系列 (series)
A 系列
過去・現在・未來
端的な A 事實〈今〉
端的・直接的 (無視點的)・絕對的
やはり現實に存在すると言はざるをえない端的な A 事實
すべての開けの原點であるにも關はらず、客觀的 (時閒貫通的) にはそもそも實在さへしない
A 事實を考へられなければ、「現在であり、過去になり、未來だった、かまたは、過去であり、未來と現在だった、かまたは、未來であり、現在と過去になる」(xor$ \veebar) とは言へず、「現在であり、過去になり、未來だったし、過去であり、未來と現在だったし、未來であり、現在と過去になるだらう」(and$ \land) としか言へない
$ \cancel S\lozenge\cancel A.
瞬閒である必要は無い
端的な今と、端的な今ではない時閒とが在る、と云ふ事が重要。端的な今の幅が短いか長いかは大切でない
A 事實を確實にしようとすれば、惡循環・惡しき無限系列・強辯に陥る 時制 (今)・人稱 (私)・樣相 (現)
私の存在や現實の存在は、人稱槪念や樣相槪念の內部秩序とは無關係に、その外からいきなり與へられるほかはない。
無內包
人稱
媒介的・閒接的 (視點依存的)・相對的
B 系列化可能な形式化された抽象的 A 系列
時制と違って、人稱・樣相では A 事實と B 系列は在るが A 變化は無い
fictional に《私》《現實》を想定はできる
樣相實在論
A 變化から A 事實が次々と突出しては埋没してゆく
B 系列
より前・より後
反省的・再歸的・自己指示的
現に現在である位置とは獨立した、動きのそのやうな一般的理解こそが B 系列を作り出す
因果。歷史
時制的表現や、時閒前後關係それ自體を表象する表現
しかし、會話がなりたつ
B 系列の內にも認識論的な困難が有る
A 變化 v.s. B 關係
C 系列
出來事の集まり
個數が數へられるもの
時閒對稱な物理學は C 系列のみを扱ふ
矛盾
端的な A 事實 v.s. A 變化 = B 系列
問題
タテ問題
認識論的
時閒の實在性は前提する (ヨコ前提)
出來事の同一性を疑ふ (タテ問題)
一つの出來事が豫期でも經驗でも記憶でもあるのはなぜか
なぜ出來事 M などといふ (豫期も經驗も記憶もできる、したがってそれらとは獨立の) 客觀的な何かが存在するといへるのか
人稱では
同格の複數の人閒が存在してゐることが前提とされる
內側から直接把握された心 (のあり方) と外側から推定された心 (のあり方) の同一性を疑ふ
〇次內包と一次內包の差
ヨコ問題
存在論的
出來事の同一性は前提する (タテ前提)
時閒の實在性を疑ふ (ヨコ問題)
「現在である」といふことそれ自體に存在論的な多義性がある
人稱では
內側から直接把握された心のあり方と外側から推定された心のあり方の同一性は前提されてゐてかまはない
この世界には端的に他と異なる私の心といふものがあるといふ主張と、そんなものはなく、各人にそれぞれ自分の心といふものがあるだけだ (何しろだれもが「この世界には端的に他と異なる私の心といふものがある」と主張するのだから) といふ主張とが對立する
無內包と一次內包の差
Graham Priest「論理學」2001/1/18
https://gyazo.com/d81ef5c7b781b4f311c5f25609668b3dhttps://gyazo.com/a3acf23d5a2bf587a849d1e699ee176a
A 系列では$ Pe\land Feと不合理
複合時制を考へても$ PPe\land FFeと不合理
B 系列だけで考へれば矛盾は起きない
$ \begin{matrix}\dots & t_{-2} & t_{-1} & t_0 & t_1 & t_2 & \dots \\ & & & e & & & \\ & & & & Pe & & \\ & & FPe & & & & \\ & FFPe & & & & & \\ & & & & & PFFPe & \end{matrix}.
$ \begin{matrix}\dots & t_{-2} & t_{-1} & t_0 & t_1 & t_2 & \dots \\ & & & e & & & \\ & & Fe & & & & \\ & & & & PFe & & \\ & & & & & PPFe & \\ & FPPFe & & & & & \end{matrix}.
郡司ペギオ-幸夫「時閒の正體 デジャブ・因果論・量子論」2008/9/10
https://gyazo.com/b17107f26ce9ee773eec3aea8678ce45
a/{a}-共軛性
B 系列に於ける「現在」 : a
B 系列中の 1 點
token
A 系列に於ける「現在」 : {a}
集合 {過去から見た未來 (とならう), 現在から見た現在 (である), 未來から見た過去 (だった)} 「現在がいつか」と指す爲には、B 系列中の 1 點 a に依らねば示せない
type
token / type